}
}
return getQuickNavigateInfo(element);
}
@Nullable
String info = documentationProvider.getQuickNavigateInfo(element, atPointer);
if (info == null) {
info = getQuickNavigateInfo(element);
}
if (info != null) {
return info;